A Structural Approach to Operational Semantics
論文
http://homepages.inf.ed.ac.uk/gdp/publications/sos_jlap.pdf
wiki
によると、この論文が
操作的意味論
の定義を与えた元になるものらしい